On the Power of Deterministic and Sequential Communicating P Systems

نویسندگان

  • Ludek Cienciala
  • Lucie Ciencialová
  • Pierluigi Frisco
  • Petr Sosík
چکیده

We characterize the computational power of several restricted variants of communicating P systems. We show that 2-deterministic communicating P systems with 2 membranes, working in either minimally or maximally parallel mode, are computationally universal. Considering the sequential mode, 2 membranes are shown to characterize the power of partially blind multicounter machines. Next, a characterization of the power of 1-deterministic communicating P systems is given. Finally, we show that the non-deterministic variant in maximally parallel mode is universal already with 1 membrane. These results demonstrate differences in computational power between nondeterminism, 2-determinism and 1-determinism, on one hand, and between sequential, minimally and maximally parallel modes, on the other hand.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the Computational Power of 1-Deterministic and Sequential P Systems

The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable assumption. Here we study the computational power of different variants of sequential P-systems. Initially we look at cooperative systems operating on symbol objects and without prioritized rules, but which allow membrane dissolut...

متن کامل

On Sequential and 1-Deterministic P Systems

The original definition of P-systems calls for rules to be applied in a maximally parallel fashion. However, in some cases a sequential model may be a more reasonable assumption. Here we study the computational power of different variants of sequential P-systems. Initially we look at cooperative systems operating on symbol objects and without prioritized rules, but which allow membrane dissolut...

متن کامل

The Optimization of Energy Supply Systems by Sequential Streamflow Routing Method and Invasive Weed Optimization Algorithm; Case Study: Karun II Hydroelectric Power Plant

Among the major sources of energy supply systems, hydroelectric power plants are more common. Energy supply during peak hours and less environmental issues are some of the most important advantages of hydroelectric power plants. In this study, designing parameters to supply maximum amount of energy was determined by using the simulation-optimization perspective and combination of IWO-WEAP model...

متن کامل

Noninterference Security in Communicating Sequential Processes

An extension of classical noninterference security for deterministic state machines, as introduced by Goguen and Meseguer and elegantly formalized by Rushby, to nondeterministic systems should satisfy two fundamental requirements: it should be based on a mathematically precise theory of nondeterminism, and should be equivalent to (or at least not weaker than) the classical notion in the degener...

متن کامل

Reconfiguration and optimal placement of distributed generations in distribution networks in the presence of remote voltage controlled bus using exchange market algorithm

Abstract: Since distribution networks have a large share of the losses in power systems, reducing losses in these networks is one of the key issues in reducing the costs of global networks, including issues Which has always been considered. In this thesis, the reconfiguration of the distribution network in the presence of distributed generation sources (DGs) with respect to two types of bus, P ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Int. J. Found. Comput. Sci.

دوره 18  شماره 

صفحات  -

تاریخ انتشار 2007